perm filename VVL[1,LMM] blob sn#053198 filedate 1973-07-07 generic text, type T, neo UTF8
(PROGN (LISPXPRIN1 (QUOTE "FILE CREATED ") T) (LISPXPRIN1 (QUOTE 
"19-JUN-73 22:45:57") T) (LISPXTERPRI T))
(LISPXPRINT (QUOTE VVLVARS) T)
(RPAQQ VVLVARS ((RECORD CTENTRY) (RECORD FORMAT) (FNS VVLFORMAT GETVARS
VVLDRIVER WITHIN+ ISTHERE? CHECK RESETVARS COLLECTNBRS CTE BREAKBOND
WEIGHT BONDS LEVEL1BREAKS DRIVER PREDICT ADDDATUM DISTANCE SIZE *MAX
NORMALIZE MODIFY MAKERAD MAKERAD1 INSERTRULE REPLACERULE MINPAIRING
REMOVE1 LEQ BREAKBOND1 CLDIFF) (VARS STRUC09039 S:09039 STRUC09493
S:09493 STRUC09320 S:09320 F0 F1 STRUC09598 STRUC09041 STRUC09494
S:09598 S:09041 S:09494 STRUC09490 S:09490 F70 F71 ALCO1 ALCO2 ALCO3
ALCO4 ALCO5 ALCO6 ALCO7 SPECALCO1 SPECALCO2 SPECALCO3 SPECALCO4 
SPECALCO5 SPECALCO6 SPECALCO7 KETONEF0 KETONEF1 TESTKETONEF0 
TESTKETONEF1) (ADVISE BREAKBOND1) (ADVISE BONDS)))
(DEFLIST(QUOTE(
(CTENTRY NIL)
))(QUOTE RECORD))

(RECORD (QUOTE CTENTRY))
(DEFLIST(QUOTE(
(FORMAT (AFF ATOMN DEG SIZ))
))(QUOTE RECORD))

(RECORD (QUOTE FORMAT))
(DEFINEQ

(VVLFORMAT
(LAMBDA (RAD) (PROG (VAL) (SETQ VAL (COND ((CDDR RAD) (MAPCAR (CDDR
RAD) (FUNCTION VVLFORMAT))) (T NIL))) (RETURN (CONS (FORMAT AFF =
(CAR RAD) ATOMN = (CDR (SASSOC (CADR RAD) ' ((C . 1) (N . 3) (O .
2)) 0)) DEG = (LENGTH VAL) SIZ = (PLUS 1 (FOR NEW Y IN VAL PLUS (SIZ
(CAR Y))))) VAL)))))

(GETVARS
(LAMBDA (VVLF) (APPEND (CAR VVLF) (APPEND (FOR NEW Z IN (CDR VVLF)
APPEND (CAR Z)) (FOR NEW I := (1 (TIMES 4 (DIFFERENCE 3 (LENGTH (CDR
VVLF))))) XLIST 0)))))

(VVLDRIVER
(LAMBDA (STRUC SPECTRUM) (PROG (B X Y FRAGS) (SETQ B (BONDS STRUC))
(FOR NEW BOND IN B DO (SETQ FRAGS (BREAKBOND BOND (COPY STRUC))) (SETQ
X (ISTHERE? (WEIGHT (CAR FRAGS)) SPECTRUM)) (MAPRINT (CONS BOND (QUOTE
(IS UNDER CONSIDERATION)))) (SETQ Y (APPEND (GETVARS (VVLFORMAT (MAKERAD
(CAR FRAGS)))) (GETVARS (VVLFORMAT (MAKERAD (CDR FRAGS)))))) (COND
(X (SETQ F1 (CONS Y F1)) (PRINT (LIST Y (QUOTE (ADDED TO F1))))) (T
(SETQ F0 (CONS Y F0)) (PRINT (LIST Y (QUOTE (ADDED TO F0))))))))))

(WITHIN+
(LAMBDA (X Y E) (AND (NOT (GREATERP X (PLUS E Y))) (NOT (GREATERP
Y (PLUS E X))))))

(ISTHERE?
(LAMBDA (N SPEC) (PRINT (LIST (QUOTE N=) N)) (FOR NEW X IN SPEC WHEN
(WITHIN+ (CAR X) N 2) DO (PRINT (LIST (QUOTE ANSWER=) X)) (RETURN
X))))

(CHECK
(LAMBDA NIL (PRINT (LENGTH F0)) (SETQ F0 (INTERSECTION F0 F0)) (PRINT
(LENGTH F0)) (PRINT (LENGTH F1)) (SETQ F1 (INTERSECTION F1 F1)) (PRINT
(LENGTH F1)) (INTERSECTION F1 F0)))

(RESETVARS
(LAMBDA NIL (SETQ F0 (SETQ F1)) (GSET (QUOTE CATEGORIES) NIL) (GSET
(QUOTE MINMARRIAGES) NIL)))

(COLLECTNBRS
(LAMBDA (CTE S P) (PROG (Z X) (RETURN (IF (EQUAL (NBRS CTE) (LIST
P)) THEN NIL ELSE (APPEND (SETQ Z (REMOVE P (NBRS CTE))) (FOR X IN
Z APPEND FIRST NIL (COLLECTNBRS (CTE X S) S (NODENUM CTE)))))))))

(CTE
(LAMBDA (C S) (FOR NEW X IN S WHEN (EQUAL C (NODENUM X)) DO (RETURN
X))))

(BREAKBOND
(LAMBDA (B S) (CONS (BREAKBOND1 B (COPY S)) (BREAKBOND1 (CONS (CDR
B) (CAR B)) S))))

(WEIGHT
(LAMBDA (FRAG) (PROG (R AT) (SETQ R 0) LOOP (COND ((NULL FRAG) (RETURN
R))) (SETQ AT (CAR FRAG)) (SETQ R (PLUS R (NHS AT) (CDR (ASSOC (ATOMNAME
AT) (QUOTE ((C . 12) (O . 16) (KET . 28))))))) (SETQ FRAG (CDR FRAG))
(GO LOOP))))

(BONDS
(LAMBDA (STRUC) (PROG (FOR-VALUE LIST*N N LIST*C C) (SETQ LIST*C STRUC)
LOOP*1 (COND ((NOT LIST*C) (GO RETURN))) (SETQ C (CAR LIST*C)) (SETQ
LIST*N (NBRS C)) LOOP*2 (COND ((NOT LIST*N) (GO NEXT*1))) (SETQ N
(CAR LIST*N)) (SETQ FOR-VALUE (CONS (CONS N (NODENUM C)) FOR-VALUE))
NEXT*2 NEXT*N (SETQ LIST*N (CDR LIST*N)) (GO LOOP*2) NEXT*1 NEXT*C
(SETQ LIST*C (CDR LIST*C)) (GO LOOP*1) RETURN (RETURN FOR-VALUE))))

(LEVEL1BREAKS
(LAMBDA (STRUC SPECTRUM) (PROG (B W INT) (SETQ B (BONDS STRUC)) (FOR
NEW BOND IN B WHEN (SETQ INT (ASSOC (SETQ W (WEIGHT (BREAKBOND BOND
(COPY STRUC)))) SPECTRUM) DO (TERPRI) (PRINC BOND) (XTAB 2) ((INC
W) (XTAB 2) (PRINT INT) (TERPRI)))))))

(DRIVER
(LAMBDA (STRUC SPECTRUM) (PROG (B X Y FRAGS) (SETQ B (BONDS STRUC))
(FOR NEW BOND IN B WHEN (LESSP (CAR BOND) (CDR BOND)) DO (SETQ FRAGS
(BREAKBOND BOND (COPY STRUC))) (SETQ X (CDR (ASSOC (WEIGHT (CAR FRAGS))
SPECTRUM))) (SETQ X (COND (X X) (T 0))) (MAPRINT (CONS BOND (QUOTE
(IS UNDER CONSIDERATION)))) (ADDDATUM (CAR FRAGS) (CDR FRAGS) X) (SETQ
RULES (UNION (LIST (CONS (CONS (MAKERAD (CAR FRAGS)) (MAKERAD (CDR
FRAGS))) X)) RULES)) (SETQ X (CDR (ASSOC (WEIGHT (CDR FRAGS)) SPECTRUM)))
(SETQ X (COND (X X) (T 0))) (ADDDATUM (CDR FRAGS) (CAR FRAGS) X) (SETQ
RULES (UNION (LIST (CONS (CONS (MAKERAD (CDR FRAGS)) (MAKERAD (CAR
FRAGS))) X)) RULES))))))

(PREDICT
(LAMBDA (LHS RHS P) (PROG (PREDICTION RULELHS DIST1) (FOR NEW RULE
IN RULES AS RULELHS IS (CAAR RULE) AS NEW RULERHS IS (CDAR RULE) WHEN
(AND (LESSP (SETQ DIST1 (DISTANCE RHS RULERHS)) INCLUSIONTHRESHOLD)
(LESSP (TIMES DIST1 (DISTANCE LHS RULELHS)) INCLUSIONTHRESHOLD)) DO
(SETQ S-RULE RULE) (SETQ PREDICTION (CDR RULE)) (RETURN PREDICTION))
COMPARE-PREDICTIONS (COND ((NOT PREDICTION) (RETURN NIL))) (IF (OR
(EQP P PREDICTION) (AND (LESSP PREDICTION (TIMES 1.1 P)) (GREATERP
PREDICTION (TIMES .9 P)))) THEN (PRINT (QUOTE (PREDICTION IS CORRECT
FOR))) (PRINT (LIST LHS RHS P)) (PRINT (LIST (QUOTE USING) S-RULE))
(RETURN T) ELSE (RETURN NIL)))))

(ADDDATUM
(LAMBDA (LHS RHS P) (PROG (MODRULE CHOICES MINDIST MINRULE D1 D2 M-RULES)
(SETQ LHS (MAKERAD LHS)) (SETQ RHS (MAKERAD RHS)) (IF (PREDICT LHS
RHS P) THEN (RETURN NIL)) (IF (NOT S-RULE) THEN (RETURN NIL)) (SETQ
CHOICES (FOR NEW RULE IN RULES WHEN (EQUAL P (CDR RULE)) XLIST RULE))
(IF (NOT CHOICES) THEN (RETURN NIL)) (SETQ MINDIST 0) (SETQ MINRULE
NIL) (FOR CHOICES ON CHOICES WHEN (AND (LESSP (SETQ D1 (DISTANCE LHS
(CAAAR CHOICES))) MODIFYTHRESHOLD) (LESSP (TIMES D1 (SETQ D2 (DISTANCE
RHS (CDAAR CHOICES)))) MODIFYTHRESHOLD)) DO (IF (LESSP (TIMES D1 D2)
MINDIST) THEN (SETQ MINRULE CHOICES) (SETQ MINDIST (TIMES D1 D2))))
(MODIFY))))

(DISTANCE
(LAMBDA (RLHS XLHS) (PROGN (PROG (M) (IF (EQUAL RLHS XLHS) THEN (RETURN
1)) (FOR NEW C IN CATEGORIES WHEN (AND (MEMBER RLHS C) (MEMBER XLHS
C)) DO (PRINT (LIST RLHS XLHS 'ARE 'EQUAL 'BY 'CATEGORIES)) (RETURN
1)) (IF (NOT RLHS) THEN (RETURN (SIZE XLHS))) (IF (NOT XLHS) THEN
(RETURN (SIZE RLHS))) (IF (NOT (EQUAL (CAR RLHS) (CAR XLHS))) THEN
(RETURN 100)) (SETQ RAPP (NORMALIZE (CDDR RLHS) (CDDR XLHS))) (SETQ
XAPP (NORMALIZE (CDDR XLHS) (CDDR RLHS))) (FOR NEW R1 IN RAPP DO (FOR
NEW X1 IN XAPP WHEN (EQUAL (DISTANCE R1 X1) 1) DO (SETQ XAPP (REMOVE1
X1 XAPP)) (SETQ RAPP (REMOVE1 R1 RAPP)) (RETURN NIL))) (RETURN (FOR
NEW R1 IN RAPP AS NEW X1 IN XAPP TIMES FIRST 1 (DISTANCE X1 R1)))))))

(SIZE
(LAMBDA (R) (COND ((ATOM R) 1) (T (PLUS 1 (*MAX (FOR NEW X IN R XLIST
(SIZE X))))))))

(*MAX
(LAMBDA (L) (COND ((NOT L) 0) ((NOT (CDDR L)) (COND ((LESSP (CAR L)
(CADR L)) (CADR L)) (T (CAR L)))) (T (*MAX (LIST (CAR L) (*MAX (CDR
L))))))))

(NORMALIZE
(LAMBDA (X Y) (APPEND (FOR NEW I := (1 (DIFFERENCE (LENGTH Y) (LENGTH
X))) XLIST NIL) X)))

(MODIFY
(LAMBDA (RULE DATUM) (FOR NEW RR IN MINMARRIAGE AS NEW R IS (CAR RR)
AS NEW X IS (CDR RR) DO (IF (EQUAL R X) THEN NIL ELSEIF (AND (EQUAL
(CAR X) (CAR R)) (EQUAL (CADR R) (CADR X))) THEN NIL ELSE (FOR NEW
C1 IN CATEGORIES WHEN (AND (MEMBER R C1) (NOT (MEMBER X C1))) DO (RETURN
(FOR NEW C2 IN CATEGORIES WHEN (MEMBER X C2) DO (PRINT ' (DOING AWAY
WITH :)) (PRINT C1) (PRINT C2) (PRINT (SETQ CATEGORIES (APPEND (REMOVE
C1 (REMOVE C2 CATEGORIES)) (LIST C1 C2)))))))))))

(MAKERAD
(LAMBDA (FRAG) (CONS 1 (MAKERAD1 (CAR FRAG) FRAG NIL))))

(MAKERAD1
(LAMBDA (N FRAG P) (CONS (ATOMNAME N) (FOR NEW C IN (CLCREATE (REMOVE
P (NBRS N))) XLIST (CONS (CDR C) (MAKERAD1 (CTE (CAR C) FRAG) FRAG
(NODENUM N)))))))

(INSERTRULE
(LAMBDA (X Y) NIL))

(REPLACERULE
(LAMBDA (X Y) (CONS X (REMOVE X Y))))

(MINPAIRING
(LAMBDA (BOYS GIRLS) (PROG (MINPAIR MINDIST) (IF (NOT BOYS) THEN (RETURN
(CONS NIL 1))) (SETQ MINPAIR (MINPAIRING (CDR BOYS) (CDR GIRLS)))
(SETQ MINDIST (TIMES (CDR MINPAIR) (DISTANCE (CAR BOYS) (CAR GIRLS))))
(SETQ MINPAIR (CONS (CONS (CAR BOYS) (CAR GIRLS)) (CAR MINPAIR)))
(FOR NEW G IN (CDR GIRLS) AS NEW M IS (MINPAIRING (CDR BOYS) (REMOVE
G GIRLS)) AS NEW D1 IS (TIMES (DISTANCE (CAR BOYS) G) (CDR M)) WHEN
(LESSP D1 MINDIST) DO (SETQ MINDIST D1) (SETQ MINPAIR (CONS (CONS
(CAR BOYS) G) (CDR M)))) (RETURN (CONS MINPAIR MINDIST)))))

(REMOVE1
(LAMBDA (X L) (COND ((ATOM L) L) ((EQUAL (CAR L) X) (CDR L)) (T (CONS
(CAR L) (REMOVE1 X (CDR L)))))))

(LEQ
(LAMBDA (X Y) (COND ((AND (ATOM X) (ATOM Y)) (ALPHORDER X Y)) ((ATOM
X) T) ((ATOM Y) NIL) ((EQUAL (CAR X) (CAR Y)) (LEQ (CDR X) (CDR Y)))
(T (LEQ (CAR X) (CAR Y))))))

(BREAKBOND1
(LAMBDA (B S) (RPLACA (CDR (CTE (CAR B) S)) (REMOVE (CDR B) (NBRS
(CTE (CAR B) S)))) (RPLACA (CDR (CTE (CDR B) S)) (REMOVE (CAR B) (NBRS
(CTE (CDR B) S)))) (CONS (CTE (CAR B) S) (FOR NEW Z IN (COLLECTNBRS
(CTE (CAR B) S) S NIL) XLIST (CTE Z S)))))

(CLDIFF
(LAMDA (CL1 CL2) (COND ((NULL CL2) CL1) ((EQUAL (CAR CL1) (CAR CL2))
(CLDIFF (CDR CL1) (CDR CL2))) ((EQ (CAAR CL1) (CAAR CL2)) (CONS (CONS
(CAAR CL1) (DIFFERENCE (CDAR CL1) (CDAR CL2))) (CLDIFF (CDR CL1) (CDR
CL2)))) (T (CONS (CAR CL1) (CLDIFF (CAR CL1) (CLDIFF (CDR CL1) CL2))))))
)
)
(RPAQQ STRUC09039 ((1 (3 2 9 9) C . 0) (2 (1 4 5) C . 1) (3 (1 6 7)
C . 1) (4 (2) C . 3) (5 (2) C . 3) (6 (3) C . 3) (7 (3 8) C . 2) (8
(7) C . 3) (9 (1 1) O . 0)))
(RPAQQ S:09039 ((41 . 30) (42 . 0) (43 . 61) (44 . 2) (55 . 3) (56
. 3) (57 . 100) (58 . 4) (69 . 2) (70 . 2) (71 . 20) (72 . 1) (84
. 2) (85 . 18) (86 . 1) (100 . 1) (128 . 7)))
(RPAQQ STRUC09493 ((1 (3 2 10 10) C . 0) (2 (1 5) C . 2) (3 (1 4)
C . 2) (4 (3) C . 3) (5 (2 6) C . 2) (6 (5 7) C . 2) (7 (6 8) C .
2) (8 (7 9) C . 2) (9 (8) C . 3) (10 (1 1) O . 0)))
(RPAQQ S:09493 ((41 . 23) (42 . 4) (43 . 100) (44 . 3) (53 . 2) (54
. 1) (55 . 10) (56 . 3) (57 . 77) (58 . 3) (67 . 1) (68 . 1) (69 .
2) (70 . 2) (71 . 1) (72 . 46) (73 . 6) (85 . 23) (86 . 2) (95 . 2)
(99 . 1) (100 . 1) (113 . 23) (114 . 2) (142 . 1)))
(RPAQQ STRUC09320 ((1 (2) C . 3) (2 (1 3) C . 2) (3 (2 4) C . 2) (4
(3 5 9 9) C . 0) (5 (4 6) C . 2) (6 (5 7) C . 2) (7 (6 8) C . 2) (8
(7) C . 3) (9 (4 4) O . 0)))
(RPAQQ S:09320 ((41 . 48) (42 . 8) (43 . 100) (44 . 3) (53 . 2) (55
. 8) (56 . 2) (57 . 92) (58 . 56) (59 . 2) (64 . 1) (67 . 1) (69 .
3) (70 . 1) (71 . 91) (72 . 4) (81 . 1) (83 . 1) (84 . 1) (85 . 60)
(86 . 23) (87 . 2) (99 . 3) (113 . 2) (128 . 13) (129 . 1)))
(RPAQQ F0 ((1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 4 1 1 1 2 1 1 0
1 0 0 0 0)))
(RPAQQ F1 ((1 1 2 4 1 1 1 2 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0
0 0 0 0 0) (1 1 1 2 1 2 0 1 0 0 0 0 0 0 0 0 1 1 2 3 1 1 0 1 1 1 0
1 0 0 0 0) (1 1 2 3 1 1 0 1 1 1 0 1 0 0 0 0 1 1 1 2 1 2 0 1 0 0 0
0 0 0 0 0) (1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 4 1 1 2 3 0 0 0
0 0 0 0 0) (1 1 1 4 1 1 2 3 0 0 0 0 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0
0 0 0 0 0)))
(RPAQQ STRUC09598 ((1 (2) C . 3) (2 (1 10 10 3) C . 0) (3 (2 4) C
. 2) (4 (3 5) C . 2) (5 (4 6) C . 2) (6 (5 7) C . 2) (7 (6 8) C .
2) (8 (7 9) C . 2) (9 (8) C . 3) (10 (2 2) O . 0)))
(RPAQQ STRUC09041 ((1 (2) C . 3) (2 (1 9 3) C . 1) (3 (2 10 10 4)
C . 0) (4 (3 5) C . 2) (5 (4 6) C . 2) (6 (5 7) C . 2) (7 (6 8) C
. 2) (8 (7) C . 3) (9 (2) C . 3) (10 (3 3) O . 0)))
(RPAQQ STRUC09494 ((1 (2) C . 3) (2 (1 3) C . 2) (3 (2 4) C . 2) (4
(3 5 10 10) C . 0) (5 (4 6) C . 2) (6 (5 7) C . 2) (7 (6 8) C . 2)
(8 (7 9) C . 2) (9 (8) C . 3) (10 (4 4) O . 0)))
(RPAQQ S:09598 ((29 . 11) (39 . 6) (41 . 17) (42 . 5) (43 . 100) (44
. 2) (45 . 1) (53 . 1) (55 . 6) (56 . 2) (57 . 20) (58 . 95) (59 .
18) (67 . 1) (69 . 1) (71 . 19) (72 . 1) (82 . 2) (84 . 3) (85 . 3)
(95 . 1) (99 . 1) (100 . 1) (113 . 3) (128 . 1) (142 . 3)))
(RPAQQ S:09041 ((41 . 19) (42 . 6) (43 . 100) (44 . 3) (53 . 1) (54
. 7) (56 . 2) (59 . 2) (70 . 1) (71 . 48) (72 . 2) (86 . 7) (99 .
31) (100 . 2) (142 . 5)))
(RPAQQ S:09494 ((41 . 20) (42 . 6) (43 . 100) (44 . 3) (52 . 1) (54
. 7) (57 . 3) (58 . 29) (59 . 2) (69 . 1) (70 . 1) (71 . 63) (72 .
3) (86 . 11) (87 . 2) (99 . 24) (100 . 2) (142 . 3)))
(RPAQQ STRUC09490 ((1 (2) C . 3) (2 (1 8 3) C . 1) (3 (2 4 10 10)
C . 0) (4 (3 5 9) C . 1) (5 (4 6) C . 2) (6 (5 7) C . 2) (7 (6) C
. 3) (8 (2) C . 3) (9 (4) C . 3) (10 (3 3) O . 0)))
(RPAQQ S:09490 ((41 . 17) (42 . 4) (43 . 100) (44 . 2) (55 . 5) (57
. 2) (70 . 1) (71 . 73) (72 . 3) (99 . 5) (100 . 11)))
(RPAQQ F70 ((1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 1 1 2 5 1 1 2
3 0 0 0 0) (1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 1 1 1 3 1 1 2
5 0 0 0 0) (1 1 2 9 1 1 1 3 1 1 2 5 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0
0 0 0 0 0) (1 1 2 9 1 1 2 5 1 1 2 3 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0
0 0 0 0 0)))
(RPAQQ F71 ((1 1 2 7 2 2 0 1 1 1 2 5 0 0 0 0 1 1 2 3 1 1 0 1 1 1 0
1 0 0 0 0) (1 1 2 3 1 1 0 1 1 1 0 1 0 0 0 0 1 1 2 7 2 2 0 1 1 1 2
5 0 0 0 0) (1 1 2 5 1 1 0 1 1 1 1 3 0 0 0 0 1 1 2 5 2 2 0 1 1 1 2
3 0 0 0 0) (1 1 2 5 2 2 0 1 1 1 2 3 0 0 0 0 1 1 2 5 1 1 0 1 1 1 1
3 0 0 0 0) (1 1 1 3 1 1 1 2 0 0 0 0 0 0 0 0 1 1 2 7 1 1 0 1 1 1 2
5 0 0 0 0) (1 1 2 7 1 1 0 1 1 1 2 5 0 0 0 0 1 1 1 3 1 1 1 2 0 0 0
0 0 0 0 0)))
(RPAQQ ALCO1 ((1 (2) C . 3) (2 (1 3 4) C . 1) (3 (2) C . 3) (4 (2
5) C . 2) (5 (4) O . 1)))
(RPAQQ ALCO2 ((1 (2) C . 3) (2 (1 3) C . 2) (3 (2 4) C . 2) (4 (3)
O . 1)))
(RPAQQ ALCO3 ((1 (2) C . 3) (2 (1 3) C . 2) (3 (2 4) C . 2) (4 (3
5) C . 2) (5 (4) O . 1)))
(RPAQQ ALCO4 ((1 (2) C . 3) (2 (1 3) C . 2) (3 (2 4) C . 2) (4 (3
5) C . 2) (5 (4 6) C . 2) (6 (5) O . 1)))
(RPAQQ ALCO5 ((1 (2) C . 3) (2 (1 3) C . 2) (3 (2 4 5) C . 1) (4 (3)
C . 3) (5 (3 6) C . 2) (6 (5) O . 1)))
(RPAQQ ALCO6 ((1 (2) C . 3) (2 (1 3 4) C . 1) (3 (2) C . 3) (4 (2
5) C . 2) (5 (4 6) C . 2) (6 (5) O . 1)))
(RPAQQ ALCO7 ((1 (2) C . 3) (2 (1 3) C . 2) (3 (2 4 6) C . 1) (4 (3
5) C . 2) (5 (4) C . 3) (6 (3 7) C . 2) (7 (6) O . 1)))
(RPAQQ SPECALCO1 ((18 . 5) (19 . 74) (18 . 46) (19 . 15) (27 . 642)
(28 . 128) (29 . 284) (30 . 33) (31 . 887) (32 . 21) (33 . 650) (41
. 809) (42 . 766) (43 . 1320) (44 . 52) (45 . 75) (46 . 2) (55 . 70)
(56 . 46) (57 . 60) (58 . 8) (59 . 63) (60 . 3) (69 . 2) (70 . 2)
(71 . 0) (72 . 3) (74 . 125)))
(RPAQQ SPECALCO2 ((18 . 16) (19 . 30) (27 . 517) (28 . 187) (29 .
480) (30 . 70) (31 . 2730) (32 . 72) (33 . 34) (41 . 190) (42 . 256)
(43 . 95) (44 . 15) (45 . 50) (46 . 2) (55 . 9) (56 . 1) (57 . 26)
(58 . 7) (59 . 289) (60 . 192)))
(RPAQQ SPECALCO3 ((18 . 42) (19 . 41) (27 . 685) (28 . 238) (29 .
418) (30 . 35) (31 . 1160) (32 . 21) (33 . 87) (41 . 728) (42 . 365)
(43 . 689) (44 . 54) (45 . 82) (46 . 6) (55 . 141) (56 . 996) (57
. 74) (58 . 2) (59 . 4) (60 . 4) (69 .1) (70 . 1) (71 . 1) (72 . 1)
(73 . 16) (74 . 9)))
(RPAQQ SPECALCO4 ((18 . 5) (19 . 88) (18 . 53) (19 . 22) (27 . 522)
(28 . 205) (29 . 706) (30 . 31) (31 . 761) (32 . 15) (33 . 8) (41
. 661) (42 . 980) (43 . 294) (44 . 43) (45 . 62) (46 . 6) (55 . 628)
(56 . 151) (57 . 234) (58 . 21) (59 . 9) (60 . 12) (67 . 6) (68 .
3) (69 . 52) (70 . 441) (71 . 31) (72 . 1) (73 . 1)))
(RPAQQ SPECALCO5 ((18 . 5) (19 . 88) (18 . 33) (19 . 13) (27 . 441)
(28 . 121) (29 . 95) (30 . 38) (31 . 566) (32 . 13) (33 . 14) (41
. 864) (42 . 153) (43 . 141) (44 . 12) (45 . 83) (46 . 3) (55 . 228)
(56 . 816) (57 . 944) (58 . 51) (59 . 43) (60 . 6) (67 . 2) (68 .
1) (69 . 12) (70 . 347) (71 . 29) (72 . 1) (73 . 1) (87 . 3) (88 .
3)))
(RPAQQ SPECALCO6 ((18 . 5) (19 . 88) (18 . 32) (19 . 22) (27 . 449)
(28 . 134) (29 . 743) (30 . 30) (31 . 542) (32 . 10) (33 . 9) (41
. 757) (42 . 393) (43 . 353) (44 . 30) (45 . 111) (46 . 27) (55 .
455) (56 . 498) (57 . 627) (58 . 34) (59 . 26) (60 . 6) (67 . 4) (68
. 2) (69 . 25) (70 . 418) (71 . 33) (72 . 2) (73 . 4) (86 . 1) (87
. 3) (88 . 2)))
(RPAQQ SPECALCO7 ((18 . 6) (19 . 102) (18 . 4) (19 . 23) (27 . 615)
(28 . 117) (29 . 633) (30 . 25) (31 . 489) (32 . 11) (33 . 6) (41
. 562) (42 . 244) (43 . 1650) (44 . 72) (45 . 73) (46 . 2) (55 . 578)
(56 . 275) (57 . 127) (58 . 9) (59 . 9) (60 . 1) (67 . 11) (68 . 5)
(69 . 154) (70 . 572) (71 . 505) (72 . 39) (73 . 28) (74 . 2) (81
. 4) (82 . 1) (83 . 7) (84 . 190) (85 . 21) (86 . 1) (87 . 5) (88
. 1) (96 . 1) (97 . 2) (98 . 1) (99 . 3) (100 . 5) (101 . 4) (102
. 2)))
(RPAQQ KETONEF0 ((1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 2 2 0 1
1 1 1 7 0 0 0 0) (1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 1 1 1 7
1 1 0 1 0 0 0 0) (1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 9 1 1 1 8
0 0 0 0 0 0 0 0) (1 1 2 9 1 1 1 7 1 1 0 1 0 0 0 0 1 2 0 1 0 0 0 0
0 0 0 0 0 0 0 0) (1 1 2 9 1 1 0 1 1 1 2 7 0 0 0 0 1 1 0 1 0 0 0 0
0 0 0 0 0 0 0 0) (1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 1 1 0 1
1 1 2 7 0 0 0 0) (1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 1 1 2 7
1 1 0 1 0 0 0 0) (1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 1 1 1 5
1 1 2 3 0 0 0 0) (1 1 1 2 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 8 1 1 1 7
0 0 0 0 0 0 0 0) (1 1 1 8 1 1 1 7 0 0 0 0 0 0 0 0 1 1 1 2 1 1 0 1
0 0 0 0 0 0 0 0) (1 1 1 9 1 1 1 8 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0
0 0 0 0 0 0 0 0) (1 1 2 9 1 1 2 7 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0
0 0 0 0 0 0 0 0) (1 1 2 9 1 1 1 5 1 1 2 3 0 0 0 0 1 2 0 1 0 0 0 0
0 0 0 0 0 0 0 0) (1 1 1 8 1 1 2 7 0 0 0 0 0 0 0 0 1 1 1 2 1 1 0 1
0 0 0 0 0 0 0 0) (1 1 1 2 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 8 1 1 2 7
0 0 0 0 0 0 0 0) (1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 1 1 1 5
1 1 1 3 0 0 0 0) (1 1 2 9 1 1 1 5 1 1 1 3 0 0 0 0 1 2 0 1 0 0 0 0
0 0 0 0 0 0 0 0) (1 1 1 2 1 1 0 1 0 0 0 0 0 0 0 0 1 1 2 8 2 2 0 1
1 1 1 6 0 0 0 0) (1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 1 1 1 2
1 1 1 6 0 0 0 0) (1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 9 1 1 2 8
0 0 0 0 0 0 0 0) (1 1 1 9 1 1 2 8 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0
0 0 0 0 0 0 0 0) (1 1 2 9 1 1 1 2 1 1 1 6 0 0 0 0 1 2 0 1 0 0 0 0
0 0 0 0 0 0 0 0) (1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 8 1 1 1 7
0 0 0 0 0 0 0 0) (1 1 1 2 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 7 1 1 2 6
0 0 0 0 0 0 0 0) (1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 8 1 1 1 4
1 1 1 3 0 0 0 0) (1 1 1 2 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 7 1 1 1 6
0 0 0 0 0 0 0 0) (1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 8 1 1 2 4
1 1 2 3 0 0 0 0) (1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 8 1 1 0 1
1 1 2 6 0 0 0 0) (1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 8 1 1 1 2
1 1 2 5 0 0 0 0) (1 1 1 2 1 1 0 1 0 0 0 0 0 0 0 0 1 1 2 7 1 1 0 1
1 1 2 5 0 0 0 0) (1 1 2 8 1 1 0 1 1 1 2 6 0 0 0 0 1 1 0 1 0 0 0 0
0 0 0 0 0 0 0 0) (1 1 2 8 1 1 1 2 1 1 2 5 0 0 0 0 1 1 0 1 0 0 0 0
0 0 0 0 0 0 0 0) (1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 8 1 1 2 7
0 0 0 0 0 0 0 0) (1 1 1 8 1 1 2 7 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0
0 0 0 0 0 0 0 0) (1 1 2 8 1 1 2 4 1 1 2 3 0 0 0 0 1 2 0 1 0 0 0 0
0 0 0 0 0 0 0 0)))
(RPAQQ KETONEF1 ((1 1 2 9 2 2 0 1 1 1 1 7 0 0 0 0 1 1 0 1 0 0 0 0
0 0 0 0 0 0 0 0) (1 1 1 7 1 1 1 6 0 0 0 0 0 0 0 0 1 1 2 3 2 2 0 1
1 1 0 1 0 0 0 0) (1 1 2 3 2 2 0 1 1 1 0 1 0 0 0 0 1 1 1 7 1 1 1 6
0 0 0 0 0 0 0 0) (1 1 1 6 1 1 1 5 0 0 0 0 0 0 0 0 1 1 1 4 1 1 2 3
0 0 0 0 0 0 0 0) (1 1 1 4 1 1 2 3 0 0 0 0 0 0 0 0 1 1 1 6 1 1 1 5
0 0 0 0 0 0 0 0) (1 1 1 5 1 1 1 4 0 0 0 0 0 0 0 0 1 1 1 5 1 1 1 4
0 0 0 0 0 0 0 0) (1 1 1 4 1 1 1 3 0 0 0 0 0 0 0 0 1 1 1 6 1 1 1 5
0 0 0 0 0 0 0 0) (1 1 1 6 1 1 1 5 0 0 0 0 0 0 0 0 1 1 1 4 1 1 1 3
0 0 0 0 0 0 0 0) (1 1 1 3 1 1 1 2 0 0 0 0 0 0 0 0 1 1 1 7 1 1 1 6
0 0 0 0 0 0 0 0) (1 1 1 7 1 1 1 6 0 0 0 0 0 0 0 0 1 1 1 3 1 1 1 2
0 0 0 0 0 0 0 0) (1 1 1 2 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 8 1 1 1 7
0 0 0 0 0 0 0 0) (1 1 1 8 1 1 1 7 0 0 0 0 0 0 0 0 1 1 1 2 1 1 0 1
0 0 0 0 0 0 0 0) (1 1 1 9 1 1 1 8 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0
0 0 0 0 0 0 0 0) (1 1 2 9 1 1 1 7 1 1 0 1 0 0 0 0 1 2 0 1 0 0 0 0
0 0 0 0 0 0 0 0) (1 1 2 7 2 2 0 1 1 1 1 5 0 0 0 0 1 1 2 3 1 1 0 1
1 1 0 1 0 0 0 0) (1 1 2 3 1 1 0 1 1 1 0 1 0 0 0 0 1 1 2 7 2 2 0 1
1 1 1 5 0 0 0 0) (1 1 1 5 1 1 1 4 0 0 0 0 0 0 0 0 1 1 2 5 2 2 0 1
1 1 2 3 0 0 0 0) (1 1 2 5 2 2 0 1 1 1 2 3 0 0 0 0 1 1 1 5 1 1 1 4
0 0 0 0 0 0 0 0) (1 1 1 4 1 1 1 3 0 0 0 0 0 0 0 0 1 1 1 6 1 1 2 5
0 0 0 0 0 0 0 0) (1 1 1 6 1 1 2 5 0 0 0 0 0 0 0 0 1 1 1 4 1 1 1 3
0 0 0 0 0 0 0 0) (1 1 2 7 2 2 0 1 1 1 1 5 0 0 0 0 1 1 1 3 1 1 1 2
0 0 0 0 0 0 0 0) (1 1 1 3 1 1 1 2 0 0 0 0 0 0 0 0 1 1 2 7 2 2 0 1
1 1 1 5 0 0 0 0) (1 1 1 5 1 1 1 4 0 0 0 0 0 0 0 0 1 1 2 5 2 2 0 1
1 1 1 3 0 0 0 0) (1 1 2 5 2 2 0 1 1 1 1 3 0 0 0 0 1 1 1 5 1 1 1 4
0 0 0 0 0 0 0 0) (1 1 1 6 1 1 1 5 0 0 0 0 0 0 0 0 1 1 2 4 2 2 0 1
1 1 1 2 0 0 0 0) (1 1 2 4 2 2 0 1 1 1 1 2 0 0 0 0 1 1 1 6 1 1 1 5
0 0 0 0 0 0 0 0) (1 1 1 5 1 1 1 4 0 0 0 0 0 0 0 0 1 1 1 5 1 1 2 4
0 0 0 0 0 0 0 0) (1 1 2 8 2 2 0 1 1 1 1 6 0 0 0 0 1 1 1 2 1 1 0 1
0 0 0 0 0 0 0 0) (1 1 1 5 1 1 2 4 0 0 0 0 0 0 0 0 1 1 1 5 1 1 1 4
0 0 0 0 0 0 0 0) (1 1 1 8 1 1 1 7 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0
0 0 0 0 0 0 0 0) (1 1 1 7 1 1 2 6 0 0 0 0 0 0 0 0 1 1 1 2 1 1 0 1
0 0 0 0 0 0 0 0) (1 1 2 6 2 2 0 1 1 1 1 4 0 0 0 0 1 1 1 3 1 1 1 2
0 0 0 0 0 0 0 0) (1 1 1 3 1 1 1 2 0 0 0 0 0 0 0 0 1 1 2 6 2 2 0 1
1 1 1 4 0 0 0 0) (1 1 1 4 1 1 1 3 0 0 0 0 0 0 0 0 1 1 2 5 2 2 0 1
1 1 1 3 0 0 0 0) (1 1 2 5 2 2 0 1 1 1 1 3 0 0 0 0 1 1 1 4 1 1 1 3
0 0 0 0 0 0 0 0) (1 1 1 3 1 1 1 2 0 0 0 0 0 0 0 0 1 1 1 6 1 1 2 5
0 0 0 0 0 0 0 0) (1 1 1 6 1 1 2 5 0 0 0 0 0 0 0 0 1 1 1 3 1 1 1 2
0 0 0 0 0 0 0 0) (1 1 1 7 1 1 1 6 0 0 0 0 0 0 0 0 1 1 1 2 1 1 0 1
0 0 0 0 0 0 0 0) (1 1 2 8 1 1 1 4 1 1 1 3 0 0 0 0 1 2 0 1 0 0 0 0
0 0 0 0 0 0 0 0) (1 1 2 4 1 1 1 2 1 1 0 1 0 0 0 0 1 1 2 5 2 2 0 1
1 1 2 3 0 0 0 0) (1 1 2 3 1 1 0 1 1 1 0 1 0 0 0 0 1 1 2 6 2 2 0 1
1 1 2 4 0 0 0 0) (1 1 2 6 2 2 0 1 1 1 2 4 0 0 0 0 1 1 2 3 1 1 0 1
1 1 0 1 0 0 0 0) (1 1 2 5 2 2 0 1 1 1 2 3 0 0 0 0 1 1 2 4 1 1 1 2
1 1 0 1 0 0 0 0) (1 1 2 7 1 1 0 1 1 1 2 5 0 0 0 0 1 1 1 2 1 1 0 1
0 0 0 0 0 0 0 0)))
(RPAQQ TESTKETONEF0 ((1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 1 1
2 5 1 1 2 3 0 0 0 0) (1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 1 1
1 3 1 1 2 5 0 0 0 0) (1 1 2 9 1 1 1 3 1 1 2 5 0 0 0 0 1 1 0 1 0 0
0 0 0 0 0 0 0 0 0 0) (1 1 2 9 1 1 2 5 1 1 2 3 0 0 0 0 1 2 0 1 0 0
0 0 0 0 0 0 0 0 0 0)))
(RPAQQ TESTKETONEF1 ((1 1 2 7 2 2 0 1 1 1 2 5 0 0 0 0 1 1 2 3 1 1
0 1 1 1 0 1 0 0 0 0) (1 1 2 3 1 1 0 1 1 1 0 1 0 0 0 0 1 1 2 7 2 2
0 1 1 1 2 5 0 0 0 0) (1 1 2 5 1 1 0 1 1 1 1 3 0 0 0 0 1 1 2 5 2 2
0 1 1 1 2 3 0 0 0 0) (1 1 2 5 2 2 0 1 1 1 2 3 0 0 0 0 1 1 2 5 1 1
0 1 1 1 1 3 0 0 0 0) (1 1 1 3 1 1 1 2 0 0 0 0 0 0 0 0 1 1 2 7 1 1
0 1 1 1 2 5 0 0 0 0) (1 1 2 7 1 1 0 1 1 1 2 5 0 0 0 0 1 1 1 3 1 1
1 2 0 0 0 0 0 0 0 0)))
(DEFLIST(QUOTE(
(BREAKBOND1 (NIL (AFTER NIL (RETURN (INTERSECTION !VALUE !VALUE)))))
))(QUOTE READVICE))

(READVISE BREAKBOND1)
(DEFLIST(QUOTE(
(BONDS (NIL (AFTER NIL (RETURN (INTERSECTION !VALUE !VALUE)))))
))(QUOTE READVICE))

(READVISE BONDS)
STOP